$\forall$$g$:IMonoid, $a$:$\mid$$g$$\mid$. IsMonHom\{$<\mathbb{N}$,+$>$,$g$\}($\lambda$$n$.$n$ $\cdot$ $a$)